Northeastern University Systems Security Lab Hidden GEMs: Automated Discovery of Access Control Vulnerabilities in Graphical User Interfaces 35th IEEE Symposium on Security and Privacy

Source URL: www.mulliner.org

Whole Page Optimization: How Page Elements Interact with the Position Auction PAVEL METRIKOV, Northeastern University FERNANDO DIAZ, Microsoft Research ´ SEBASTIEN

Source URL: ciir.cs.umass.edu

Statement of Dr. Andrea M. Matwyshyn Microsoft Visiting Professor, Center for Information Technology Policy, Princeton University/ Professor of Law, Northeastern University/ Affiliate Scholar, Center for Internet and Soc

Source URL: docs.house.gov

ETHICAL ISSUES FOR THE TWENTY-FIRST CENTURY EQUALITY, SUFFICIENCY, DECENCY: THREE CRITERIA OF ECONOMIC JUSTICE STEPHEN NATHANSON NORTHEASTERN UNIVERSITY

Source URL: usbig.net

Note: A version of this article has been published in Catching A Wave: Reclaiming Feminism for the Twenty-First Century (2003, Northeastern University Press), ed. by Rory Dicker and Alison Piepmeier. For citation, use th

Source URL: www.confluere.com

Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the

Source URL: www.ccs.neu.edu

• Logic
• Theoretical computer science
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Mathematical logic
• Security type system
• Symbol

Partial Quantifier Elimination Eugene Goldberg, Panagiotis Manolios Northeastern University, USA {eigold,pete}@ccs.neu.edu Abstract. We consider the problem of Partial Quantifier Elimination (PQE). Given formula ∃X[F (

Source URL: eigold.tripod.com

Discovering our models Trevor Muñoz University of Maryland @trevormunoz

Source URL: www.wwp.northeastern.edu

Pushdown Flow Analysis of First-Class Control Dimitris Vardoulakis Olin Shivers Northeastern University

Source URL: dimvar.github.io

Toward Robust Hidden Volumes Using Write-Only Oblivious RAM Erik-Oliver Blass, Travis Mayberry, Guevara Noubir, Kaan Onarlioglu College of Computer and Information Science Northeastern University, Boston, MA Email: {blas

Source URL: www.onarlioglu.com